基于学习进程的学习评估在大学化学教学中的实践

高等教育质量提升的关键在于课程教学质量的不断完善。作为高等教育的重要环节,化学课程教学在非化学化工专业人才的知识体系构建、能力培养、素质养成方面有着不可或缺的作用。大学化学课程的教学实践表明,基于学习进程的评估有利于激发学生的学习积极性,显著提高教学班的整体成绩并实现课程教学质量的提升。     

生物预处理技术在天然产物提取中的应用研究进展

生物预处理技术运用于天然产物提取是借助微生物或生物酶的作用，在适当条件下对天然资源进行处理，破坏植物原料的细胞壁，促进天然产物释放到提取介质中，以提高分离效率，有助于保证天然产物活性。生物预处理技术按形式可以分为微生物发酵技术和生物酶处理技术。针对2种生物预处理技术的作用机制和应用进行综述，旨在为天然产物开发利用提供参考。     

超高性能混凝土国内外研究与应用进展*

介绍了超高性能混凝土（UHPC）的制备原理和性能特点，对UHPC国内外研究和应用情况进行了综述，指出了我国UHPC研究和应用中存在的问题。结果表明：UHPC是一种具有优异的力学性能、耐久性能和环保效益的新型水泥基复合材料。国外在UHPC理论研究和应用研究方面都取得了大量成果，在实际工程中已经获得了广泛的应用；近年来我国在理论研究和应用方面也得到了快速发展；如何简化UHPC制备工艺、降低生产成本、补偿自收缩是今后的主要研究方向，完善相关规范标准以更好地指导UHPC现浇工程应用是目前首要解决的问题。随着环保和可持续发展理念的日益重视，UHPC这种低碳环保材料将有广阔的发展前景。     

A Reduced Reachability Tree for a Class of Unbounded Petri Nets

As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to generate a reachability tree, called ωRT for short, for a class of unbounded generalized nets called ω-independent nets based on new modified reachability trees (NMRTs). ωRT can effectively decrease the number of nodes by removing duplicate and ω-duplicate nodes in the tree, and verify properties such as reachability, liveness and deadlocks. Two examples are provided to show its superiority over NMRTs in terms of tree size.      

基于改进人工蜂群算法的多目标绿色柔性作业车间调度研究

针对多目标绿色柔性作业车间调度问题（MGFJSP）的特点，提出从碳排放量、噪声和废弃物这3个指标来综合评定环境污染程度，建立了以最小化最大完成时间和环境污染程度为优化目标的MGFJSP模型，并提出了一种改进的人工蜂群算法来求解该模型。算法的具体改进包括：设计了一种三维向量的编码和对应解码方案，在跟随蜂搜索阶段引入一种有效的动态邻域搜索操作来提高算法的局部搜索能力，在侦查蜂阶段提出产生新食物源的策略用于增加种群的多样性。最后进行了实验研究与算法对比，以验证所建模型和所提算法的有效性。     

现代化工分离技术讲座

<正>第十一章离子液体在分离过程中的应用(上接第2006年第4期) 4．7导电性和电化学窗离子液体的室温电导率一般在0．1～1．0 S／m,其大小与离子液体的粘度、相对分子质量、密度以及离子大小有关。其中粘度影响最明显,粘度越大,离子导电性越差;密度越大,离子导电性